Extending the Point Algebra into the Qualitative Algebra
نویسندگان
چکیده
We study the computational complexity of the qualitative algebra which is a temporal formalism that combines the point algebra, the point-interval algebra and Allen’s interval algebra. We identify all tractable fragments containing the point algebra and show that, for all other fragments containing the point algebra, the problem is NP-complete.
منابع مشابه
Solving fractional evolution problem in Colombeau algebra by mean generalized fixed point
The present paper is devoted to the existence and uniqueness result of the fractional evolution equation $D^{q}_c u(t)=g(t,u(t))=Au(t)+f(t)$ for the real $qin (0,1)$ with the initial value $u(0)=u_{0}intilde{R}$, where $tilde{R}$ is the set of all generalized real numbers and $A$ is an operator defined from $mathcal G$ into itself. Here the Caputo fractional derivative $D^{q}_c$ is used i...
متن کاملOn some open problems in cone metric space over Banach algebra
In this paper we prove an analogue of Banach and Kannan fixed point theorems by generalizing the Lipschitz constat $k$, in generalized Lipschitz mapping on cone metric space over Banach algebra, which are answers for the open problems proposed by Sastry et al, [K. P. R. Sastry, G. A. Naidu, T. Bakeshie, Fixed point theorems in cone metric spaces with Banach algebra cones, Int. J. of Math. Sci. ...
متن کاملA New Spatial Algebra for Road Network Moving Objects
Qualitative representing and reasoning for road network moving objects are key works to put spatiotemporal reasoning into practices, but those are still open problems. We propose a new spatial algebra for road network moving objects based on Interval Algebra theory. Renz had developed an algebra DIA to represent one dimensional moving objects by giving time interval a spatial interpretation. Ex...
متن کاملTractable Subclasses of the Point-Interval Algebra: A Complete Classification
Several algebras have been proposed for reasoning about qualitative constraints over time. One of these algebras is Vilain's point-interval algebra, which can relate time points with time intervals. Apart from being a stand-alone qualitative algebra, it is also used as a subalgebra in Meiri's approach to temporal reasoning, which combines reasoning about quantitative and qualitative temporal co...
متن کاملArens regularity and derivations of Hilbert modules with the certain product
Let $A$ be a $C^*$-algebra and $E$ be a left Hilbert $A$-module. In this paper we define a product on $E$ that making it into a Banach algebra and show that under the certain conditions $E$ is Arens regular. We also study the relationship between derivations of $A$ and $E$.
متن کامل